Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings: 240 (Lecture Notes in Computer Science, 240)
by Axel Poigne,David Rydeheard,David Pitt,Samson Abramsky
ISBN 13: 9783540171621
Format: Paperback (532 pages) Publisher: Springer Published: 13 Jun 2008
Save for later
Category Theory and Computer Science: Paris, France, September 3-6, 1991. Proceedings: 530 (Lecture Notes in Computer Science, 530)
by David H. Pitt,Pierre-Louis Curien,Samson Abramsky,Andrew Pitts,Axel Poigne,David E. Rydeheard
ISBN 13: 9783540544951
Format: Illustrated (312 pages) Publisher: Springer Published: 13 Jun 2008
Dependence Logic: Theory and Applications
by Samson Abramsky,Juha Kontinen,Jouko Väänänen,Heribert Vollmer
ISBN 13: 9783319811239
Format: Paperback (292 pages) Publisher: Birkhäuser Published: 24 Jun 2018